#ifndef ACPI_OSL_H_
#define ACPI_OSL_H_

#define RSDP_START 0x000E0000
#define RSDP_END 0x000FFFFF

void acpi_enum_devices(void);

#endif /*ACPI_OSL_H_*/
